keyboard: Close keyboard immediately on user interaction

When the user presses the hide button, the rest timeout feels
like lag in that case. Avoid it in that case.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3162>

diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js
index b70830ad7a02ce7e59d162948cefc3569f14d264..4ce21976cc0e4759bf72825df131b03e8be63ed8 100644 (file)
--- a/js/ui/keyboard.js
+++ b/js/ui/keyboard.js
@@ -1297,7 +1297,7 @@ export const Keyboard = GObject.registerClass({
 
         this._emojiSelection = new EmojiSelection();
         this._emojiSelection.connect('toggle', this._toggleEmoji.bind(this));
-        this._emojiSelection.connect('close-request', () => this.close());
+        this._emojiSelection.connect('close-request', () => this.close(true));
         this._emojiSelection.connect('emoji-selected', (selection, emoji) => {
             this._keyboardController.commitString(emoji);
         });
@@ -1449,7 +1449,7 @@ export const Keyboard = GObject.registerClass({
             if (key.action !== null) {
                 button.connect('released', () => {
                     if (key.action === 'hide') {
-                        this.close();
+                        this.close(true);
                     } else if (key.action === 'languageMenu') {
                         this._popupLanguageMenu(button);
                     } else if (key.action === 'emoji') {